es{-}seq(${\it es}$;$S$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e_{1}$:es{-}E(${\it es}$), $e_{2}$:es{-}E(${\it es}$). $e_{1}$ before $e_{2}$ $\in$ $S$ $\in$ es{-}E(${\it es}$) $\Rightarrow$ $\neg$es{-}causl(${\it es}$; $e_{2}$; $e_{1}$)